Digital Logic Testing and Simulation Second Edition

نویسنده

  • Alexander Miczo
چکیده

ion. Streamlining the code can sometimes produce a significant improve-ment in simulation performance. 12.3.2 HDL Extensions and C++ There is a growing acceptance of high-level languages (HLLs), particularly C andC++, for conceptual or system level modeling. One reason for this is the fact that amodel expressed in an HLL usually executes more rapidly than the same modelexpressed in an RTL language. This is based, at least in part, on the fact that when aVerilog or VHDL model is executing as compiled code, it is first translated into C orC++. This intermediate translation may introduce inefficiencies that the systemengineer hopes to avoid by directly encoding his or her system level model in C orC++. Another attraction of HLLs is their support for complex mathematical func-tions and similar such utilities. These enable the system analyst to quickly describeand simulate complex features or operations of their system level model withoutbecoming sidetracked or distracted from their main focus by having to write theseutility routines.To assist in the use of C++ for logic design, vendors provide class libraries.3 These extend the capabilities of C++ by including libraries of functions, data types,and other constructs, as well as a simulation kernel. To the user, these additionsmake the C++ model look more like an HDL model while it remains legal C++code. For example, the library will provide a function that implements a wait for anactive clock edge. Other problems solved by the library include interconnectionmethodology, time sequencing, concurrency, data types, performance tracking, anddebugging. Because digital hardware functions operate concurrently, devices suchas the timing wheel (cf. Section 2.9.1) have been invented to solve the concurrencyissue at the gate-level. The C++ library must provide a corresponding capability.Data types that must be addressed in C++ include tri-state logic and odd data buswidths that are not a multiple of 2. After the circuit model has been expressed interms of the library functions and data types, the entire circuit model may then belinked with a simulation kernel.An alternative to C++ for speeding up the simulation process, and reducing theeffort needed to create testbenches, is to extend Verilog and VHDL. The IEEE peri-odically releases new specifications that extend the capabilities of these languages.The release of Verilog-2001, for example, incorporates some of the more attractivefeatures of VHDL, such as the “generate” feature. Vendors are also extending Veri-log and VHDL with proprietary constructs that provide more support for describingoperations at higher levels of abstraction, as well as support for testbench verifica-tion capabilities—for example, constructs that permit complex monitoring actions tobe compressed into just a few lines of code. Oftentimes an activity such as monitor-ing events during simulation—an activity that might take many lines of code in aVerilog testbench, and something that occurs frequently during debug—may beimplemented very efficiently in a language extension. The extensions have theadvantage that they are supersets of Verilog or VHDL; hence the learning curve isquite small for the logic designer already familiar with one of these languages.

برای دانلود رایگان متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

A Novel Design of Quaternary Inverter ‎Gate Based on GNRFET

   This paper presents a novel design of quaternary logic gates using graphene nanoribbon field effect transistors (GNRFETs). GNRFETs are the alternative devices for digital circuit design due to their superior carrier-transport properties and potential for large-scale processing. In addition, Multiple-valued logic (MVL) is a promising alternative to the conventional binary logic design. Sa...

متن کامل

Monte Carlo Simulation of Radiation effects in protection layers of logical cell of the digital gate in ‎the FPGA for electron and proton rays Using the FLUKA Code

In this paper, radiation effects in protection layers of logical cell of the digital gate in the FPGA for electron and proton rays was simulated Using the FLUKA Code. by using of the Monte Carlo simulation, the electron and proton transport into the logical cell of the digital gate in the FPGA will be studied. In this simulation, the maximum energy of the electrons and protons at the entrance o...

متن کامل

A Minimal-Cost Inherent-Feedback Approach for Low-Power MRF-Based Logic Gates

The Markov random field (MRF) theory has been accepted as a highly effective framework for designing noise-tolerant nanometer digital VLSI circuits. In MRF-based design, proper feedback lines are used to control noise and keep the circuits in their valid states. However, this methodology has encountered two major problems that have limited the application of highly noise immune MRF-based circui...

متن کامل

A Design Methodology for Reliable MRF-Based Logic Gates

Probabilistic-based methods have been used for designing noise tolerant circuits recently. In these methods, however, there is not any reliability mechanism that is essential for nanometer digital VLSI circuits. In this paper, we propose a novel method for designing reliable probabilistic-based logic gates. The advantage of the proposed method in comparison with previous probabilistic-based met...

متن کامل

Development of a compression system dynamic simulation code for testing and designing of anti-surge control system

In recent years, several research activities have been conducted to develop knowledge in analysis, design and optimization of compressor anti-surge control system. Since the anti-surge control testing on a full-scale compressor is limited to possible consequences of failure, and also the experimental facility can be expensive to set up control strategies and logic, design process often involves...

متن کامل

Type-2 fuzzy logic based pitch angle controller for fixed speed wind energy system

In this paper, an interval Type-2 fuzzy logic based pitch angle controller is proposed for fixed speed wind energy system (WES) to maintain the aerodynamic power at its rated value. The pitch angle reference is generated by the proposed controller which can compensate the non-linear characteristics of the pitch angle to the wind speed. The presence of third dimension in the Type-2 fuzzy logic c...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

عنوان ژورنال:

دوره   شماره 

صفحات  -

تاریخ انتشار 2004